Sheriff counterexample